$\forall$$D$:Dsys, $i$:Id, $k$:Knd. Feasible($D$) $\Rightarrow$ ((d{-}decl($D$;$i$)($k$)) $\subseteq$r M($i$).da($k$))